$\forall$$x$:Id, $L$:Knd List. only members of $L$ read $x$ $\in$ MsgA